例文The Core Answer Set Programming Dialect ( CASPD ) is based on answer set programming, that is, declarative logic programming based on the answer set semantics ( stable model semantics ).